how to determine that conditional and contrapositive are logically equivalent